docs: Escape bare tags
authorEmmanuele Bassi <ebassi@gnome.org>
Thu, 28 Jan 2021 14:54:10 +0000 (14:54 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Fri, 29 Jan 2021 16:31:10 +0000 (16:31 +0000)
commit9f31e95420fa1b075cdda016678a378c656b6e57
tree77e61733d3ee71f3f4cf2106c8660ca4a3893775
parent3a076e26f7c1800379e70ca341a9de1c5acb4b20
docs: Escape bare tags

Otherwise tools processing the description of GtkWidget will be *very*
confused.
gtk/gtkwidget.c